Proof assistant - PDFSEARCH.IO - Document Search Engine

Proof assistant
Results: 176

#	Item
61	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 Automated theorem proving Proof theory Logic in computer science Theoretical computer science Isabelle Mathematical proof Proof assistant Theorem Automated reasoning Logic Mathematics Mathematical logic
62	Andrius Velykis School of Computing Science Newcastle University, UK with contributions from AI4FM members AI meets Formal Software Development Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:20:35 Proof assistant Theorem prover Isabelle Theorem Mathematical proof Logic Mathematics Automated theorem proving
63	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 JEdit Proof assistant Isabelle Plug-in Lawrence Paulson R HOL Logic for Computable Functions Software Computing Logic in computer science
64	Proof of Beal’s Conjecture (In Logic Symbols) By: Don Blazys and Brett Blazys (research assistant) Abstract: This is essentially the same proof that can be found on my website http://donblazys.com/ and on the “Unsolv Add to Reading List Source URL: donblazys.com Language: English - Date: 2013-04-30 16:41:51 Predicate logic Proof theory Logical syntax Model theory First-order logic Mathematical proof Formal proof Calculus Logic Mathematics Mathematical logic
65	Proof of Beal’s Conjecture (Condensed Version) By: Don Blazys and Brett Blazys (research assistant) Abstract: In all cases both logical and mathematical, it must be possible to substitute identities. In this paper, we Add to Reading List Source URL: donblazys.com Language: English - Date: 2013-04-30 16:36:53 Mysteries Prime number Mathematical proof Hodge conjecture Conjectures Mathematics Knowledge
66	Proof of Beal’s Conjecture. By: Don Blazys and Brett Blazys (research assistant) Abstract: We demonstrate that all three terms in “Beal’s Conjecture” are implicitly squares under second degree radicals. We then d Add to Reading List Source URL: donblazys.com Language: English - Date: 2013-04-30 16:31:16 Prime number Differential equation Conjectures Mathematics Logarithms Equation
67	Scientific ReportMicrosoft Research-Inria Joint Centre www.msr-inria.inria.fr Introduction Add to Reading List Source URL: www.msr-inria.fr Language: English - Date: 2015-01-29 08:56:57 Finite groups Metalogic Mathematical logic Mathematical proofs Coq Feit–Thompson theorem Proof assistant Dade isometry Fundamental theorem of algebra Mathematics Abstract algebra Algebra
68	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-08-27 06:04:04 JEdit Proof assistant Isabelle Plug-in Lawrence Paulson R HOL Logic for Computable Functions Software Computing Logic in computer science
69	Standalone Tactics using OpenTheory Ramana Kumar?1 and Joe Hurd2 1 University of Cambridge Add to Reading List Source URL: www.gilith.com Language: English - Date: 2012-06-04 20:10:04 Logic in computer science Automated theorem proving Formal methods Proof assistant Isabelle HOL Automated reasoning Logic for Computable Functions Theorem Proving in Higher-Order Logics Theoretical computer science Mathematical software Mathematics
70	OpenTheory: Package Management for Higher Order Logic Theories Joe Hurd Galois, Inc. Add to Reading List Source URL: www.gilith.com Language: English - Date: 2009-08-21 07:30:13 Automated theorem proving Logic in computer science Mathematical logic Formal methods Isabelle Proof assistant Mathematical proof Logic for Computable Functions Theorem Theoretical computer science Mathematics Logic

UPDATE